From 26c23a81d51b6db7e8c57cbdd7eafe982c160c2d Mon Sep 17 00:00:00 2001
From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Date: Mon, 16 Feb 2026 07:00:18 +0000
Subject: [PATCH] correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19


Gbp-Pq: Name boost_filesystem_extension.patch
---
 app/mshrable.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/mshrable.cpp b/app/mshrable.cpp
index 1f90a9e..e663bbe 100644
--- a/app/mshrable.cpp
+++ b/app/mshrable.cpp
@@ -125,7 +125,7 @@ int main(int argc, char** argv)
 
     if (vm.count("polyout"))
     {
-      std::string extension = boost::filesystem::extension(vm["polyout"].as<std::string>());
+      std::string extension = boost::filesystem::path(vm["polyout"].as<std::string>()).extension().string();
 
       if (extension != ".off")
       {
-- 
2.30.2